and Logic

Results: 11835



#Item
331

People-Focused Program Logic Two day workshop Monday 19th and Tuesday 20th of SeptemberNo more log frames!!

Add to Reading List

Source URL: www.mande.co.uk

- Date: 2008-04-18 03:29:05
    332

    CS Computer Science and Information Technology Section1: Engineering Mathematics Discrete Mathematics: Propositional and first order logic. Sets, relations, functions, partial

    Add to Reading List

    Source URL: www.gate.iisc.ernet.in

    - Date: 2015-09-02 10:23:17
      333

      Contract Agreements via Logic Massimo Bartoletti (joint work with T. Cimoli, P. Di Giamberardino, and R. Zunino) University of Cagliari June 6, 2013

      Add to Reading List

      Source URL: www.cs.unibo.it

      - Date: 2013-07-01 16:16:10
        334

        Theory and Applications of Categories, Vol. 10, No. 17, 2002, pp. 424–460. ENTROPIC HOPF ALGEBRAS AND MODELS OF NON-COMMUTATIVE LOGIC RICHARD F. BLUTE, FRANÇOIS LAMARCHE, PAUL RUET ABSTRACT. We give a definition of

        Add to Reading List

        Source URL: www.tac.mta.ca

        - Date: 2002-10-11 13:21:20
          335

          Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules Harold Boley National Research Council, Security and Disruptive Technologies University of New Brunswick, Faculty of Computer Science Fredericton, NB, Canada

          Add to Reading List

          Source URL: www.cs.unb.ca

          - Date: 2013-05-12 19:46:42
            336

            From Functional Logic Programs to Purely Functional Programs Preserving Laziness? Bernd Braßel and Sebastian Fischer Christian-Albrechts-University of Kiel {bbr,sebf}@informatik.uni-kiel.de

            Add to Reading List

            Source URL: www-ps.informatik.uni-kiel.de

            - Date: 2011-03-30 17:21:24
              337

              LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC Three Types of Parents CONSULTANT

              Add to Reading List

              Source URL: www.loveandlogic.com

              - Date: 2016-02-04 17:40:34
                338

                Experimental Mathematics in Haskell: on Pairing/Unpairing Functions and Boolean Evaluation Paul Tarau1 Brenda Luderman2

                Add to Reading List

                Source URL: logic.cse.unt.edu

                - Date: 2010-05-17 08:49:25
                  339

                  A Two-Variable Separation Logic and Its Inner Circle STEPHANE DEMRI, New York University, USA & CNRS, France MORGAN DETERS, New York University, USA Separation logic is a well-known assertion language for Hoare-style pr

                  Add to Reading List

                  Source URL: www.lsv.ens-cachan.fr

                  - Date: 2015-01-28 03:31:41
                    UPDATE